Schur triangulaization theorem